Model-based testing using process models for integration and regression testing of ERP solutions[240P]